- функтор семейств
- family functor мат.
Русско-английский научно-технический словарь Масловского. 2015.
функтор семейств
Look at other dictionaries:
НЕПРЕРЫВНЫЙ ФУНКТОР — синоним понятия функтор, перестановочный с пределами . Пусть и категории с пределами. Одноместный ковариант ный функтор наз. непрерывным, если для любой диаграммы с произвольной малой схемой выполнено равенство .Более подробно последнее равенство … Математическая энциклопедия
МОДУЛЕЙ ТЕОРИЯ — теория, изучающая непрерывные семейства объектов алгебраич. геометрии. Пусть А класс объектов алгебраич. геометрии (многообразий, схем, векторных расслоений и т. п.), на к ром задано нек рое отношение эквивалентности R. Основная задача… … Математическая энциклопедия
АЛГЕБРАИЧЕСКОГО МНОГООБРАЗИЯ АВТОМОРФИЗМ — обратимый морфизм алгебраич. многообразия (или схемы) в себя. Группа всех А. м. а., обозначаемая обычно , важный инвариант многообразия . Изучение действий группы А. м. а. на объектах, функторпально связанных с , таких, как Пикаро. группа, Чжоу… … Математическая энциклопедия
Топология — (от греч. tоpos место и …логия (См. ...Логия) часть геометрии, посвященная изучению феномена непрерывности (выражающегося, например, в понятии предела). Разнообразие проявлений непрерывности в математике и широкий спектр различных… … Большая советская энциклопедия
ИНТЕРПОЛИРОВАНИЕ ОПЕРАТОРОВ — получение из известных свойств оператора в двух или нескольких пространствах выводов о свойствах этого оператора в нек рых в определенном смысле промежуточных пространствах. Банаховой парой A, В наз. два банаховых пространства, алгебраически и… … Математическая энциклопедия
РЕФЛЕКТИВНАЯ ПОДКАТЕГОРИЯ — подкатегория, содержащая наибольшую модель любого объекта категории. Точнее, полная подкатегория категории наз. р е ф л е к т и в н о й, если содержит рефлектор (см. Рефлектор).для любого объекта категории. Полная подкатегория категории… … Математическая энциклопедия
СХЕМА — окольцованное пространство, локально изоморфное аффинной схеме. Подробнее, С. состоит из топологич. пространстна X (базисного пространства схемы) и пучка коммутативных колец с единицей на Х (структурного пучка схемы); при этом должно существовать … Математическая энциклопедия
МАЛЫЙ ОБЪЕКТ — категории понятие, выделяющее такие объекты категории, к рым присущи свойства математич. структур с конечным числом образующих (конечномерных линейных пространств, конечно порожденных групп и т. д.). Пусть категория с копроизведениями. Объект наз … Математическая энциклопедия
ОДНОРОДНОЕ ПРОСТРАНСТВО — множество вместе с заданным на нем транзитивным действием нек рой группы. Точнее, Месть однородное пространство группы G, если задано отображение множества в Мтакое, что: 1) 2) 3)для любых существует такой что Элементы множества Мназ. точками О.… … Математическая энциклопедия
ПРОЕКТИВНЫЙ ПРЕДЕЛ — обратный пре д е л, конструкция, возникшая первоначально в теории множеств и топологии, а затем нашедшая широкое применение во многих разделах математики. Наиболее часто используется П. п. семейства однотипных мате матич. структур,… … Математическая энциклопедия
ТОПОЛОГИЗИРОВАННАЯ КАТЕГОРИЯ — категория, снабженная топологией Гротендика. Пусть С категория с расслоенными произведениями. Задать топологию Гротендика в Сзначит задать для каждого объекта множество Cov (X) семейств морфизмов называемых покрытиями, причем должны выполняться… … Математическая энциклопедия
